home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Clean 1.2.4 / IO Examples / Turing / sleft.tm < prev    next >
Encoding:
Text File  |  1993-04-05  |  391 b   |  22 lines  |  [TEXT/????]
  1. S    #  ->  q1   L
  2. S    0  ->  S    R
  3. S    1  ->  S    R
  4. q1   1  ->  b1   #
  5. q1   0  ->  a1   #
  6. q1   #  ->  q2   R
  7. b1   #  ->  qb   L
  8. a1   #  ->  qa   L
  9. qb   1  ->  qb   L
  10. qb   0  ->  aa   1
  11. qb   #  ->  q2   1
  12. aa   1  ->  qa   L
  13. qa   0  ->  qa   L
  14. qa   1  ->  bb   0
  15. qa   #  ->  q2   0
  16. bb   0  ->  qb   L
  17. q2   0  ->  q2   R
  18. q2   1  ->  q2   R
  19. q2   #  ->  halt #
  20.  
  21. Tape:
  22. #100110110101011000010#